perm filename SOLVE.LSP[F76,JMC] blob sn#254302 filedate 1976-12-27 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	(DEFUN SOLVE (FORM SOLS) (COND
C00003 ENDMK
CāŠ—;
(DEFUN SOLVE (FORM SOLS) (COND
((NULL FORM) NIL)
((EQ (CAR FORM) 'AND)
	(COND ((NULL (CDR FORM)) SOLS) 
		(T (SOLVE (CONS 'AND (CDDR FORM)) (SOLVE (CADR FORM) SOLS)))))
((EQ (CAR FORM) 'OR)
	(COND ((NULL (CDR FORM)) NIL)
		(T (COMBINE (SOLVE (CADR FORM) SOLS) (SOLVE (CONS 'OR (CDDR FORM))
SOLS)))))
))